Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected ... Computer Science and General Issues)
by
ISBN 13: 9783642125911
Format: Paperback (215 pages) Publisher: Springer Published: 20 Apr 2010
Save for later